16

Handbook of Model Checking || Satisfiability Modulo Theories

Year:
2018
Language:
english
File:
PDF, 923 KB
english, 2018
19

Land use and sustainability indicators. An introduction

Year:
2004
Language:
english
File:
PDF, 196 KB
english, 2004
25

Handbook of Model Checking || Binary Decision Diagrams

Year:
2018
Language:
english
File:
PDF, 828 KB
english, 2018
29

Neue Kriege, Gewaltökonomien und Geographien der Gewalt

Year:
2007
Language:
german
File:
PDF, 102 KB
german, 2007